Transformational Generation For Interactive Language-Based Tools
نویسندگان
چکیده
Generative tools for programming language support have a long history. Tools for interactive language-aware software development are central to the HARMONIA object-oriented framework. However, the generative aspects of HARMONIA are implemented in an ad hoc fashion. This paper explains how systematic generative programming could be used to improve the implementation of HARMONIA and similar systems.
منابع مشابه
Transformational Generation of Language Plug-ins in the Harmonia Framework
The Harmonia framework provides an infrastructure for building language-aware interactive programming tools. Harmonia supports many languages through language plug-ins, which are dynamically-loadable system extensions generated from lexical, syntactic, and semantic descriptions. In this report, we describe our approach to generating Harmonia language plug-ins from a variety of domain-specific d...
متن کاملTRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie Huijs
SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...
متن کاملTRANSFORMATIONS AND SEMANTICAL CHECKS FOR SIL - 1 Corrie
SIL (SPRITE Input Language) is developed as an intermediate format between a variety of specification languages and a number of input formats of synthesis tools and silicon compilers. The second aim in its development was to get a useful language backbone for transformational design, Therefore, SIL is based on a formal semantical model and on only a small number of basic concepts. Transformatio...
متن کاملRelational Semantics for Flow Graph Representations as Basis for Transformational Design of Digital Systems
Transformational design is a promising design methodology which combines correctness by construction and interactive design. In this design methodology the design steps are behaviour preserving transformations of one design representation into another. The representations used in transformational design need to have formal semantical models in order to prove the correctness, the behaviour prese...
متن کاملStructural Analysis of Teacher's Job Innovation Based on Transformational Leadership
The purpose of this study was to explain teachers' job innovation based on transformational leadership components in elementary schools of East Azerbaijan province. The research method was descriptive-correlational. The statistical population includes all the elementary school teachers in East Azarbaijan province with 14004 (9633 female and 4371 male). Using Morgan table, 375 teachers (257 fema...
متن کامل